Object theory

Results: 981



#Item
451Data types / Computing / Pointing stick / Subtype polymorphism / Constraint programming / Software engineering / Type theory / Object-oriented programming

Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0

Add to Reading List

Source URL: kartverket.no

Language: English - Date: 2013-01-29 08:08:25
452Computing / Computer programming / C++ / Object-oriented programming / Subtype polymorphism / Type theory / Reference / String / Integer / Data types / Software engineering / Primitive types

Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses

Add to Reading List

Source URL: kartverket.no

Language: English - Date: 2013-01-29 08:07:57
453Electromagnetism / Electronic circuits / Signal processing / Electronic filter / Filter / Electronics / Electronic engineering / Filter theory

arXiv:1407.1610v2 [cs.CV] 22 Sep[removed]Analyzing the Performance of Multilayer Neural Networks for Object Recognition 1

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2014-09-24 16:13:40
454Probability and statistics / Statistics / Computer vision / Statistical theory / Optics / Illumination / Entropy / Prior probability / Photometric stereo / Image processing / Information theory / Computer graphics

Shape, Albedo, and Illumination from a Single Image of an Unknown Object Jonathan T. Barron and Jitendra Malik UC Berkeley {barron, malik}@eecs.berkeley.edu Abstract

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2012-07-28 19:03:27
455Computing / Data types / Functional languages / Object-oriented programming / Functional programming / Type system / Generalized algebraic data type / Agda / Dependent type / Software engineering / Type theory / Programming language theory

Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract

Add to Reading List

Source URL: itu.dk

Language: English - Date: 2013-07-29 03:28:29
456Sheaf theory / Topos / Category theory / Category of sets / Set theory / Class / Mathematical object / Sheaf / Theory / Mathematics / Mathematical logic / Logic

Category theory as an autonomous foundation Abstract Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three

Add to Reading List

Source URL: www.oysteinlinnebo.org

Language: English - Date: 2013-07-31 14:44:38
457Object-oriented design / Systems science / Systems theory / Object-oriented programming / Systems engineering / Systems engineering process

The Lean Launch ConceptCodify This book is for sale at http://leanpub.com/leanlaunch This version was published on[removed]This is a Leanpub book. Leanpub empowers authors and

Add to Reading List

Source URL: samples.leanpub.com

Language: English - Date: 2014-02-07 22:00:13
458Computer programming / Java programming language / Data types / Type theory / Polymorphism / Immutable object / Object / Immutable interface / Subtype polymorphism / Software engineering / Computing / Object-oriented programming

Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper) Adrian Mettler David Wagner

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:40
459Ontology / Aristotelianism / Substance theory / Mathematical object / Property / Equivalence relation / Identity / Function / Finitary relation / Mathematics / Abstraction / Philosophy

Identity and discernibility in philosophy and logic James Ladyman Øystein Linnebo Richard Pettigrew 30 October 2011

Add to Reading List

Source URL: www.oysteinlinnebo.org

Language: English - Date: 2013-07-31 14:39:47
460Interpretation / NIP / Philosophy / Linguistics / Model theory / Logic / Constructible universe

Object Detection with Grammar Models Ross B. Girshick Dept. of Computer Science University of Chicago Chicago, IL 60637

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-01 18:04:34
UPDATE